Definitions | t T, x:A. B(x), P  Q, False, A, A B, ,  , , ma-valtype(da; k), decl-state(ds), (x l), ecl-trans-type(A), ecl-trans-tuple{i:l}(ds; da), subtype(S; T), ecl-trans-state(v; L), top, Kind-deq,  x. t(x), fpf-cap(f; eq; x; z), event-info(ds;da), b, prop{i:l}, A c B, append(as; bs), P Q, x:A. B(x), True, T, spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), spreadn(a; x,y,z.t(x;y;z)), ecl-trans-a(v), ecl-trans-ks(v), ecl-trans-act(ds; da; A), guard(T), sq_type(T), P   Q, ge(i; j), ||as||, suptype(S; T), iseg(T; l1; l2), fpf(A; a.B(a)), Id, Knd,  b, deq-member(eq; x; L), Unit, if b then t else f fi , list_accum(x,a.f(x;a); y; l),  x,y. t(x;y), ecl-trans-state-from(v; z; L), ecl-trans-init(v) |